21. Formal Concept Analysis :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science-- Mathematics, Congresses.,Formal methods (Computer science), Congresses.,Logic, Symbolic and mathematical, Congresses.,Computer science-- Mathematics.,Formal methods (Computer science),Logic, Symbolic and mathematical.

رده :
QA76
.
9
.
M35
I58
2019eb

22. Formal Concept Analysis

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer science -- Mathematics -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Formal methods (Computer science) -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,منطق ریاضی-- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره ها

رده :
QA
76
.
9
.
F67
2015
E-Book
,

23. Formal concept analysis

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses

رده :
QA
،
171
.
5
،.
I55
،
2011

24. Foundations of Logic and Functional Programming Workshop,Trento, Italy, December 15-19, 1986 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
306

25. Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Functional programming )Computer science(-- Congresses,، Logic, Symbolic and mathematical-- Congresses

رده :
QA
76
.
6
.
F6858
1986

26. Frontiers of Combining Systems

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science, Congresses,Logic, Symbolic and mathematical, Congresses

رده :
QA9
.
A1
F76
2009

27. Frontiers of combining systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science, Congresses,Logic, Symbolic and mathematical, Congresses

رده :
QA9
.
A1
F76
2013

28. Frontiers of combining systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science, Congresses,Logic, Symbolic and mathematical, Congresses

رده :
QA9
.
A1
F76
2011

29. Frontiers of combining systems : 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science

رده :
QA
76
.
L28
Vol
.
2309

30. Frontiers of combining systems : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science

رده :
QA
76
.
L28
Vol
.
3717

31. Frontiers of combining systems : third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science

رده :
QA
76
.
L28
Vol
.
1794

32. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics

رده :
QA
9
.
A1
.
G6
1996a

33. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics

رده :
QA
9
.
A1L44
Vol
.
6

34. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics

رده :
QA
9
.
A1
G6
1996

35. Higher-order algebra, logic, and term rewriting : first International Workshop, HOA'93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Algebra,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
816

36. Higher-order algebra, logic, and term rewriting : second International Workshop, HOA'95, Paderborn, Germany, September 21-22, 1995 : selected papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Algebra,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
1074

37. KI 2015

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Artificial intelligence -- Congresses.,هوش مصنوعی-- کنگره‌ها

رده :
Q
336
.
K5
2015
E-Book
,

38. Logic from computer science

پدیدآورنده :

موضوع : Logic, Symbolic and mathematical -- Congresses,Computer science -- Congresses

۲ نسخه از این کتاب در ۱ کتابخانه موجود است.

39. Logic from computer science : Proceedings of a Workshop held November 13-17, 1989

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science

رده :
QA
9
.
A1W65
1989

40. Logic from computer science : proceedings of a workshop held November 13-17, 1989

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Logic, Symbolic and mathematical--Congresses,، Computer science--Congresses

رده :
QA
9
.
A1
.
L64
1991